first order logic

un. 一阶逻辑
[网络] 首阶逻辑;初阶逻辑;第一阶逻辑